Tkachuk, Oksana : rechercher sur Z-Library

Le plus grand référentiel d'articles scientifiques au monde. 70,000,000+ d'articles gratuitement.

Don't use scam websites

Livres
Articles (37)
Les plus populaires
Liste
- Liste
- Tableau

1

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || EventB2Java: A Code Generator for Event-B

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 367 KB

english, 2016

2

Structure and physical properties of nonstoichiometric rare-earth cadmium antimonides, RECd1−xSb2 (RE=La, Ce, Pr, Nd, Sm)

Andriy V. Tkachuk, Oksana Ya. Zelinska, Arthur Mar

Journal:

Journal of Solid State Chemistry

Année:

2006

Langue:

english

Fichier:

PDF, 295 KB

english, 2006

3

Symbolic quantitative information flow

Phan, Quoc-Sang, Malacaria, Pasquale, Tkachuk, Oksana, Păsăreanu, Corina S.

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2012

Langue:

english

Fichier:

PDF, 763 KB

english, 2012

4

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 ||

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 20.14 MB

english, 2016

5

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Temporal Logic Framework for Performance Analysis of Architectures of Systems

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 1.24 MB

english, 2016

6

Ternary rare-earth titanium antimonides: Phase equilibria in the RE–Ti–Sb (RE=La, Er) systems and crystal structures of RE2Ti7Sb12 (RE=La, Ce, Pr, Nd) and RETi3(SnxSb1–x)4 (RE=Nd, Sm)

Haiying Bie, S.H. Devon Moore, Davin G. Piercey, Andriy V. Tkachuk, Oksana Ya. Zelinska, Arthur Mar

Journal:

Journal of Solid State Chemistry

Année:

2007

Langue:

english

Fichier:

PDF, 1.32 MB

english, 2007

7

Structures and Physical Properties of Rare-Earth Chromium Germanides RECrGe 3 (RE = La−Nd, Sm)

Bie, Haiying, Zelinska, Oksana Ya., Tkachuk, Andriy V., Mar, Arthur

Journal:

Chemistry of Materials

Année:

2007

Langue:

english

Fichier:

PDF, 355 KB

english, 2007

8

[IEEE 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE) - Lawrence, KS, USA (2011.11.6-2011.11.10)] 2011 26th IEEE/ACM International Conference on Automated Software Engineering (ASE 2011) - JPF-AWT: Model checking GUI applications

Mehlitz, Peter, Tkachuk, Oksana, Ujma, Mateusz

Année:

2011

Langue:

english

Fichier:

PDF, 511 KB

english, 2011

9

[IEEE 2009 31st International Conference on Software Engineering - Companion Volume - Vancouver, BC, Canada (2009.05.16-2009.05.24)] 2009 31st International Conference on Software Engineering - Companion Volume - WEAVE: WEb Applications Validation Environment

Rajan, Sreeranga P., Tkachuk, Oksana, Prasad, Mukul, Ghosh, Indradeep, Goel, Nitin, Tadahiro Uehara,

Année:

2009

Langue:

english

Fichier:

PDF, 356 KB

english, 2009

10

Improving Coverage of Test Cases Generated by Symbolic PathFinder for Programs with Loops

Kersten, Rody, Person, Suzette, Rungta, Neha, Tkachuk, Oksana

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2015

Langue:

english

Fichier:

PDF, 743 KB

english, 2015

11

[ACM Press the 2006 international symposium - Portland, Maine, USA (2006.07.17-2006.07.20)] Proceedings of the 2006 international symposium on Software testing and analysis - ISSTA'06 - Application of automated environment generation to commercial software

Tkachuk, Oksana, Rajan, Sreeranga P.

Année:

2006

Langue:

english

Fichier:

PDF, 238 KB

english, 2006

12

[ACM Press the twenty-second IEEE/ACM international conference - Atlanta, Georgia, USA (2007.11.05-2007.11.09)] Proceedings of the twenty-second IEEE/ACM international conference on Automated software engineering - ASE '07 - Combining environment generation and slicing for modular software model checking

Tkachuk, Oksana, Rajan, Sreeranga P.

Année:

2007

Langue:

english

Fichier:

PDF, 288 KB

english, 2007

13

[ACM Press the 2nd ACM SIGPLAN International Workshop - Seattle, Washington (2013.06.20-2013.06.20)] Proceedings of the 2nd ACM SIGPLAN International Workshop on State Of the Art in Java Program analysis - SOAP '13 - OCSEGen

Tkachuk, Oksana

Année:

2013

Langue:

english

Fichier:

PDF, 237 KB

english, 2013

14

[ACM Press the 4th International Workshop - Hyderabad, India (2014.06.01-2014.06.01)] Proceedings of the 4th International Workshop on Twin Peaks of Requirements and Architecture - TwinPeaks 2014 - Helping system engineers bridge the peaks

Rungta, Neha, Tkachuk, Oksana, Person, Suzette, Biatek, Jason, Whalen, Michael W., Castle, Joseph, Gundy-Burlet, Karen

Année:

2014

Langue:

english

Fichier:

PDF, 289 KB

english, 2014

15

[ACM Press the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium - Helsinki, Finland (2003.09.01-2003.09.05)] Proceedings of the 9th European software engineering conference held jointly with 10th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE '03 - Adapting side effects analysis for modular program model checking

Tkachuk, Oksana, Dwyer, Matthew B.

Année:

2003

Langue:

english

Fichier:

PDF, 225 KB

english, 2003

16

Generation of Library Models for Verification of Android Applications

van der Merwe, Heila, Tkachuk, Oksana, van der Merwe, Brink, Visser, Willem

Journal:

ACM SIGSOFT Software Engineering Notes

Année:

2015

Langue:

english

Fichier:

PDF, 709 KB

english, 2015

17

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Formal Verification of an Executable LTL Model Checker with Partial Order Reduction

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 260 KB

english, 2016

18

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Gray-Box Learning of Serial Compositions of Mealy Machines

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 401 KB

english, 2016

19

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Formal Validation and Verification Framework for Model-Based and Adaptive Control Systems

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 842 KB

english, 2016

20

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Contract-Based Verification of Complex Time-Dependent Behaviors in Avionic Systems

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 597 KB

english, 2016

21

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || A Formally Verified Checker of the Safe Distance Traffic Rules for Autonomous Vehicles

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 322 KB

english, 2016

22

Nuclex therapy for patients with chronic hepatitis C

Tkachuk, Zenovii Y., Frolov, Valery M., Sotska, Yana A., Kruglova, Oksana V.

Journal:

International Journal of Immunological Studies

Année:

2012

Langue:

english

Fichier:

PDF, 258 KB

english, 2012

23

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Bandwidth and Wavefront Reduction for Static Variable Ordering in Symbolic Reachability Analysis

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 1.20 MB

english, 2016

24

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Assisted Coverage Closure

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 1.34 MB

english, 2016

25

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Probabilistic Formal Verification of the SATS Concept of Operation

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 1.62 MB

english, 2016

26

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || ARSENAL: Automatic Requirements Specification Extraction from Natural Language

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 805 KB

english, 2016

27

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Code Generation Using a Formal Model of Reference Counting

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 615 KB

english, 2016

28

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || The comKorat Tool: Unified Combinatorial and Constraint-Based Generation of Structurally Complex Tests

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 638 KB

english, 2016

29

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || A Modular Way to Reason About Iteration

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 404 KB

english, 2016

30

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Obfuscator Synthesis for Privacy and Utility

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 626 KB

english, 2016

31

[Lecture Notes in Computer Science] NASA Formal Methods Volume 9690 || Automated Synthesis of Safe Autonomous Vehicle Control Under Perception Uncertainty

Rayadurgam, Sanjai, Tkachuk, Oksana

Année:

2016

Langue:

english

Fichier:

PDF, 815 KB

english, 2016

32

[IEEE 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - Sacramento, CA, USA (2016.9.25-2016.9.29)] 2016 IEEE/AIAA 35th Digital Avionics Systems Conference (DASC) - RACE: Building airspace simulations faster and better with actors

Mehlitz, Peter, Shafiei, Nastaran, Tkachuk, Oksana, Davies, Misty

Année:

2016

Langue:

english

Fichier:

PDF, 1.70 MB

english, 2016

33

[ACM Press the 24th ACM SIGSOFT International SPIN Symposium - Santa Barbara, CA, USA (2017.07.13-2017.07.14)] Proceedings of the 24th ACM SIGSOFT International SPIN Symposium on Model Checking of Software - SPIN 2017 - Addressing challenges in obtaining high coverage when model checking Android applications

Botha, Heila, Tkachuk, Oksana, Merwe, Brink van der, Visser, Willem

Année:

2017

Langue:

english

Fichier:

PDF, 586 KB

english, 2017

34

Selected Extended Papers of NFM 2016: Preface

Muñoz, César A., Rayadurgam, Sanjai, Tkachuk, Oksana

Journal:

Journal of Automated Reasoning

Année:

2018

Langue:

english

Fichier:

PDF, 273 KB

english, 2018

35

A New Powerful Method for Site-Specific Transgene Stabilization Based on Chromosomal Double-Strand Break Repair

Tkachuk, Artem, Kim, Maria, Kravchuk, Oksana, Savitsky, Mikhail, Freitag, Michael

Journal:

Année:

2011

Langue:

english

Fichier:

PDF, 244 KB

english, 2011

36

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Semantic-based Automated Reasoning for AWS Access Policies using SMT

Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten

Année:

2018

Fichier:

PDF, 405 KB

2018

37

[IEEE 2018 Formal Methods in Computer Aided Design (FMCAD) - Austin, TX (2018.10.30-2018.11.2)] 2018 Formal Methods in Computer Aided Design (FMCAD) - Semantic-based Automated Reasoning for AWS Access Policies using SMT

Backes, John, Bolignano, Pauline, Cook, Byron, Dodge, Catherine, Gacek, Andrew, Luckow, Kasper, Rungta, Neha, Tkachuk, Oksana, Varming, Carsten

Année:

2018

Langue:

english

Fichier:

PDF, 405 KB

english, 2018